Folder Path

/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/

0 directories 222 files 620 KiB total
List Grid
Name
Size Modified
Up
Ana Con 1.prf
11 KiB
Axioms 1.prf
7.4 KiB
Conditional 1.prf
1.9 KiB
Conditional 2.prf
5.5 KiB
Conditional 3.prf
1.9 KiB
Conjunction 1.prf
4.0 KiB
Conjunction 2.prf
3.6 KiB
Conjunction 3.prf
3.0 KiB
Conjunction 4.prf
2.9 KiB
Deduction Thm 1.prf
9.1 KiB
Disjunction 1.prf
1.9 KiB
Disjunction 2.prf
5.7 KiB
Elimination Exercise 2.prf
4.4 KiB
Exercise 10.34.1.prf
2.6 KiB
Exercise 10.34.2.prf
2.6 KiB
Exercise 13.11.prf
2.2 KiB
Exercise 13.12.prf
2.2 KiB
Exercise 13.13.prf
2.5 KiB
Exercise 13.14.prf
2.2 KiB
Exercise 13.15.prf
2.2 KiB
Exercise 13.16.prf
2.3 KiB
Exercise 13.17.prf
1.9 KiB
Exercise 13.18.prf
1.9 KiB
Exercise 13.2.prf
2.2 KiB
Exercise 13.20.prf
2.6 KiB
Exercise 13.21.prf
2.6 KiB
Exercise 13.22.prf
2.6 KiB
Exercise 13.23.prf
2.5 KiB
Exercise 13.24.prf
1.9 KiB
Exercise 13.25.prf
1.9 KiB
Exercise 13.26.prf
2.3 KiB
Exercise 13.27.prf
2.3 KiB
Exercise 13.28.prf
1.9 KiB
Exercise 13.29.prf
2.2 KiB
Exercise 13.3.prf
2.2 KiB
Exercise 13.30.prf
2.3 KiB
Exercise 13.31.prf
2.3 KiB
Exercise 13.32.prf
1.9 KiB
Exercise 13.33.prf
2.3 KiB
Exercise 13.34.prf
2.3 KiB
Exercise 13.35.prf
2.6 KiB
Exercise 13.36.prf
2.3 KiB
Exercise 13.37.prf
3.2 KiB
Exercise 13.38.prf
2.6 KiB
Exercise 13.39.prf
3.0 KiB
Exercise 13.4.prf
1.9 KiB
Exercise 13.40.prf
1.9 KiB
Exercise 13.41.prf
1.9 KiB
Exercise 13.42.prf
1.9 KiB
Exercise 13.43.prf
1.9 KiB
Exercise 13.44.prf
1.9 KiB
Exercise 13.45.prf
1.9 KiB
Exercise 13.46.prf
1.9 KiB
Exercise 13.47.prf
1.9 KiB
Exercise 13.48.prf
1.9 KiB
Exercise 13.49.prf
2.2 KiB
Exercise 13.5.prf
2.3 KiB
Exercise 13.50.prf
1.9 KiB
Exercise 13.51.prf
1.9 KiB
Exercise 13.52.prf
1.9 KiB
Exercise 13.53.prf
1.9 KiB
Exercise 13.6.prf
2.6 KiB
Exercise 13.7.prf
2.0 KiB
Exercise 13.8.prf
2.0 KiB
Exercise 13.9.prf
2.3 KiB
Exercise 14.10.prf
1.9 KiB
Exercise 14.11.prf
1.9 KiB
Exercise 14.12.prf
2.3 KiB
Exercise 14.13.prf
2.1 KiB
Exercise 15.13.prf
2.2 KiB
Exercise 15.14.prf
1.9 KiB
Exercise 15.15.prf
735 B
Exercise 15.16.prf
2.0 KiB
Exercise 15.2.prf
2.2 KiB
Exercise 15.21.prf
2.3 KiB
Exercise 15.23.prf
2.6 KiB
Exercise 15.33.prf
4.0 KiB
Exercise 15.34.prf
2.0 KiB
Exercise 15.35.prf
2.0 KiB
Exercise 15.36.prf
2.0 KiB
Exercise 15.37.prf
2.0 KiB
Exercise 15.38.prf
2.0 KiB
Exercise 15.39.prf
2.0 KiB
Exercise 15.53.prf
2.0 KiB
Exercise 15.66.prf
1.9 KiB
Exercise 16.29.prf
2.2 KiB
Exercise 16.30.prf
2.9 KiB
Exercise 16.31.prf
2.5 KiB
Exercise 16.32.prf
2.9 KiB
Exercise 16.33.prf
2.3 KiB
Exercise 16.34.prf
2.3 KiB
Exercise 16.35.prf
2.6 KiB
Exercise 16.36.prf
2.2 KiB
Exercise 16.37.prf
2.9 KiB
Exercise 16.38.prf
2.9 KiB
Exercise 16.39.prf
2.6 KiB
Exercise 16.40.prf
2.6 KiB
Exercise 16.41.prf
1.9 KiB
Exercise 16.42.prf
2.3 KiB
Exercise 16.43.prf
2.6 KiB
Exercise 16.44.prf
2.6 KiB
Exercise 16.45.prf
3.2 KiB
Exercise 16.46.prf
2.6 KiB
Exercise 16.47.prf
2.6 KiB
Exercise 16.50.prf
1.9 KiB
Exercise 16.51.prf
3.0 KiB
Exercise 16.53.prf
3.6 KiB
Exercise 17.32.prf
3.5 KiB
Exercise 17.4A.prf
5.3 KiB
Exercise 17.4B.prf
5.3 KiB
Exercise 19.11.prf
2.2 KiB
Exercise 19.12.prf
1.9 KiB
Exercise 19.13.prf
1.9 KiB
Exercise 19.16.prf
6.0 KiB
Exercise 19.17.prf
4.4 KiB
Exercise 19.18.prf
2.2 KiB
Exercise 2.16.prf
2.2 KiB
Exercise 2.17.prf
2.5 KiB
Exercise 2.18.prf
2.5 KiB
Exercise 2.19.prf
2.2 KiB
Exercise 2.20.prf
2.5 KiB
Exercise 2.24.prf
2.5 KiB
Exercise 2.25.prf
2.5 KiB
Exercise 2.26.prf
2.8 KiB
Exercise 2.27.prf
2.8 KiB
Exercise 4.27.prf
2.6 KiB
Exercise 4.28.prf
2.3 KiB
Exercise 4.29.prf
3.2 KiB
Exercise 4.30.prf
2.6 KiB
Exercise 6.10.prf
2.2 KiB
Exercise 6.11.prf
2.5 KiB
Exercise 6.12.prf
2.5 KiB
Exercise 6.13.prf
2.5 KiB
Exercise 6.14.prf
2.9 KiB
Exercise 6.15.prf
2.2 KiB
Exercise 6.16.prf
2.2 KiB
Exercise 6.18.prf
1.9 KiB
Exercise 6.19.prf
2.2 KiB
Exercise 6.2.prf
6.1 KiB
Exercise 6.20.prf
2.2 KiB
Exercise 6.22.prf
2.2 KiB
Exercise 6.24.prf
1.9 KiB
Exercise 6.25.prf
1.9 KiB
Exercise 6.26.prf
2.2 KiB
Exercise 6.27.prf
2.2 KiB
Exercise 6.28.prf
2.2 KiB
Exercise 6.29.prf
2.3 KiB
Exercise 6.3.prf
1.9 KiB
Exercise 6.30.prf
2.2 KiB
Exercise 6.31.prf
2.6 KiB
Exercise 6.32.prf
2.6 KiB
Exercise 6.33.prf
5.2 KiB
Exercise 6.34.prf
1.9 KiB
Exercise 6.35.prf
1.9 KiB
Exercise 6.36.prf
1.9 KiB
Exercise 6.37.prf
1.9 KiB
Exercise 6.38.prf
1.9 KiB
Exercise 6.39.prf
1.9 KiB
Exercise 6.4.prf
1.9 KiB
Exercise 6.40.prf
1.9 KiB
Exercise 6.41.prf
1.9 KiB
Exercise 6.42.prf
1.9 KiB
Exercise 6.5.prf
1.9 KiB
Exercise 6.6.prf
1.9 KiB
Exercise 6.8.prf
6.1 KiB
Exercise 6.9.prf
2.2 KiB
Exercise 7.26.prf
2.2 KiB
Exercise 8.18.prf
2.2 KiB
Exercise 8.19.prf
2.2 KiB
Exercise 8.20.prf
1.9 KiB
Exercise 8.21.prf
1.9 KiB
Exercise 8.22.prf
1.9 KiB
Exercise 8.23.prf
1.9 KiB
Exercise 8.24.prf
2.5 KiB
Exercise 8.25.prf
2.2 KiB
Exercise 8.26.prf
1.9 KiB
Exercise 8.27.prf
1.9 KiB
Exercise 8.28.prf
1.9 KiB
Exercise 8.29.prf
1.9 KiB
Exercise 8.30.prf
1.9 KiB
Exercise 8.31.prf
2.6 KiB
Exercise 8.32.prf
2.6 KiB
Exercise 8.33.prf
2.3 KiB
Exercise 8.34.prf
2.9 KiB
Exercise 8.35.prf
2.9 KiB
Exercise 8.36.prf
2.6 KiB
Exercise 8.37.prf
2.9 KiB
Exercise 8.38.1.prf
1.9 KiB
Exercise 8.38.2.prf
1.9 KiB
Exercise 8.44.prf
2.2 KiB
Exercise 8.45.prf
1.9 KiB
Exercise 8.46.prf
2.6 KiB
Exercise 8.47.prf
2.6 KiB
Exercise 8.48.prf
2.6 KiB
Exercise 8.49.prf
2.6 KiB
Exercise 8.50.prf
1.9 KiB
Exercise 8.51.prf
1.9 KiB
Exercise 8.52.prf
1.9 KiB
Exercise 8.53.prf
2.6 KiB
Existential 1.prf
7.5 KiB
FO Con 1.prf
9.8 KiB
Goggles Example.prf
1.4 KiB
Identity 1.prf
2.2 KiB
Intersection 1.prf
8.6 KiB
Lemma 1.prf
6.1 KiB
Lemma 16.52.prf
13 KiB
Lemma 2.prf
6.0 KiB
Lemma 3.prf
5.9 KiB
Lemma Example 1.prf
2.6 KiB
Lemma Example 2.prf
2.6 KiB
Lemma Example 3.prf
2.6 KiB
Negation 1.prf
1.9 KiB
Negation 2.prf
7.2 KiB
Negation 3.prf
2.2 KiB
Negation 4.prf
7.0 KiB
Proof Deduction Thm 1.prf
2.0 KiB
Quantifier Strategy 1.prf
2.6 KiB
Strategy 1.prf
1.9 KiB
Taut Con 1.prf
4.0 KiB
Taut Con 2.prf
8.3 KiB
Universal 1.prf
2.2 KiB
Universal 2.prf
5.2 KiB